Issue1303.agda:9,1-19,8
de Bruijn index 1 is not in scope in the context (dot₁ : _)
